Verification of the Mobile Agent Network Simulator - a Tool for Simulating Multi-Agent Systems

This paper deals with the verification of a multi–agent system simulator. Agents in the simulator are based on the Mobile Agent Network (MAN) formal model. It describes a shared plan representing a process which allows team formation according to task complexity and the characteristics of the distributed environment where these tasks should be performed. In order to verify the simulation results, we compared them with performance characteristics of a real multi–agent system, called the Multi–Agent Remote Maintenance Shell (MA–RMS). MA–RMS is organized as a team–oriented knowledge based system responsible for distributed software management. The results are compared and analyzed for various testing scenarios which differ with respect to network bandwidth as well as task and network complexity.